OWL-E: Extending OWL with Expressive Datatype Expressions
نویسندگان
چکیده
Although OWL, an emerged standard of expressing ontologies in the Semantic Web, is a very expressive ontology language, the OWL datatyping formalism is far not expressive enough to generally represent user-defined datatypes (such as XML Schema derived datatypes), not to mention user-defined datatype predicates (such as > for non-negative integers) in Semantic Web ontologies and applications. In this paper, we show how to extend OWL datatype formalism to provide a general way to represent user-defined datatypes and datatype predicates, based on datatype groups. The result is OWL-E, a language extending OWL DL with the datatype group-based class constructors to allow the use of datatype expressions in class restrictions. The novelty of OWL-E is that it enhances OWL DL with much more datatype expressiveness and it is still decidable. Keyword: ontology language, OWL, datatype Copyright c © 2004 The authors Document Identifier IMG/2004/KR-SW-01/v1.0 Project Version 1.0 Date April 29, 2004 State IMG Technical Report Distribution public OWL-E: Extending OWL with Expressive Datatype Expressions IMG Techical Report
منابع مشابه
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?")
The OWL [2] datatype formalism (or simply OWL datatyping) presents some new requirements for DL reasoning services, in terms of semantics (to allow the use of so-called 'un-supported' datatypes), expressive power (to support enumerated datatypes) and datatype construction mechanism (both datatypes and datatype expressions). On the other hand, OWL datatyping is expected to be extended to include...
متن کاملIntroducing Customised Datatypes and Datatype Predicates into OWL
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users will not adopt OWL unless this limitation is overcome, and the W3C Semantic Web Best Practices and Deployment Working Group has set up a task force to address this issue. This paper provides a solution for this issue ...
متن کاملExtending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies
It was mentioned on multiple occasions that datatype expressions are a necessary component of any production quality knowledge base and will surely play a major role in the upcoming Semantic Web. This paper briefly summarizes the work on improving the support for tractable reasoning with datatype expressions in ELK a highly efficient reasoner. Tests have shown an exceptional speed of ontology c...
متن کاملOWL-Eu: Adding Customised Datatypes into OWL
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users will not adopt OWL unless this limitation is overcome, and the W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. This paper makes the following two contributi...
متن کاملA Scheme for Integrating Datatype Groups into Description Logics
Existing ontology-related formalisms focus on either datatypes (such as the OWL datatype formalism) or datatype predicates (such as the concrete domain approach). Furthermore, they don’t provide a general framework for representing customised datatypes and predicates, which is identified as a key requirement of ontology languages. In this paper we shall propose a scheme for integrating concept ...
متن کامل